Symbolic Computation

Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach

User Interface / Symbolic Computation / Data Structure / Client Server / Remote Access / Programming language

On two-parametric quartic families of Diophantine problems

Applied Mathematics / Symbolic Computation / Numerical Analysis and Computational Mathematics

From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology

System Dynamics / Symbolic Computation / Mathematical Sciences / Process Algebra / Population Growth / Mathematics and Computer Science / Stochastic Model / Population dynamic / Individual Based Model / Ordinary Differential Equation / Mathematics and Computer Science / Stochastic Model / Population dynamic / Individual Based Model / Ordinary Differential Equation

AISC Meets Natural Typography

Symbolic Computation / Artificial Intelligent

Solving parametric polynomial systems

Applied Mathematics / Symbolic Computation / Computer Algebra / Numerical Analysis and Computational Mathematics

A Formal Methodology to Specify E-commerce Systems

Model Checking / Process Control / Symbolic Computation / Formal methods / Design process / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking

Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach

User Interface / Symbolic Computation / Data Structure / Client Server / Remote Access / Programming language

Copyright © 2017 DADOSPDF Inc.